Model of computation

Results: 512



#Item
211Knowledge / Education / Complex systems theory / Systems theory / Evolutionary algorithms / Agent-based model / Evolutionary computation / Genetic algorithm / Genetic programming / Cybernetics / Science / Mathematical optimization

Handbook of Research on Nature Inspired Computing for Economics and Management Edited by: Jean-Philippe Rennard, Grenoble Graduate

Add to Reading List

Source URL: www.rennard.org

Language: English - Date: 2014-07-28 10:20:04
212Mathematical logic / Formal languages / Logical syntax / Philosophy of language / Interpretation / Computation tree logic / Well-formed formula / Function / Kripke structure / Logic / Mathematics / Temporal logic

Model-Checking Overview of Automated Verification SW/HW SW/HW artifact

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-02-06 13:57:58
213ESMF / Weather prediction / Scripting languages / Python / Eric Python IDE / Climate model / NetCDF / Common modeling infrastructure / Software / Atmospheric sciences / Computing

Earth System Modeling Framework[removed]Python for Assembling Climate Modeling Toolkits Robert Jacob – ANL and U. of Chicago Computation Institute Raymond T. Pierrehumbert – University of Chicago, Geophysical Sciences

Add to Reading List

Source URL: www.earthsystemmodeling.org

Language: English - Date: 2010-01-06 16:08:27
214Predicate logic / Set theory / Model theory / Semantics / Predicate / First-order logic / S / Naive set theory / Infinity / Mathematical logic / Logic / Mathematics

Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2013-08-07 09:11:47
215Model theory / Computability theory / Functions and mappings / Models of computation / Lambda calculus / Theoretical computer science / Primitive recursive function / Interpretation / Function / Mathematical logic / Mathematics / Logic

Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-02-19 17:14:13
216Model theory / Computability theory / Functions and mappings / Models of computation / Functional languages / Lambda calculus / Interpretation / Function / First-order logic / Mathematical logic / Mathematics / Logic

Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-01-25 16:18:54
217Model theory / Entailment / Logic / Metalogic / Deduction

Generative Type Abstraction and Type-level Computation Dimitrios Vytiniotis Simon Peyton Jones Stephanie Weirich University of Pennsylvania

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:21
218Mathematical logic / Recursion / Theory of computation / Functions and mappings / Programming idioms / Primitive recursive function / Well-founded relation / ELEMENTARY / Fold / Computability theory / Mathematics / Theoretical computer science

Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:12
219Metalogic / Denotational semantics / Structure / Continuous function / Sheaf / Lambda calculus / Orbifold / Surreal number / Mathematics / Models of computation / Model theory

Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2008-12-11 05:21:07
UPDATE